Nuprl Definition : qle
11,40
postcript
pdf
qle(
r
;
s
) == grp_leq(qadd_grp;
r
;
s
)
latex
Definitions
qadd_grp
,
grp_leq(
g
;
a
;
b
)
FDL editor aliases
qle
origin